body { background: #ECEBE1; color: black; }

#output { font-family:monospace; height:80%; width:95%; }

#output div { margin: 2px 0; }

h3 { margin-top: 0; margin-bottom: 0em; }

h3 + div { margin: 0; font-family:monospace; }

h1 { font-size: 1.3em; }

form { margin: 0; padding: 0; }

.input { color: #3D4F54; 
         font-weight: normal; 
         margin-top: .5em; 
         background: #ECEBE1; }

.normalOutput { color: #3D4F54; }

.undeterminedOutput { color: pink; }

.preserveFormat { white-space: pre; white-space: -moz-pre-wrap; margin-top:2px; padding-top:2px; }

.print { color: brown; }

.error { color: #B33507; }

.propList { color: green; }

.message { color: green; }

.tabcomplete { color: purple; }

#input { border:none;
        font-family:monospace; 
        width:90%;
        overflow:auto;
        position:relative;
        left:-0.6em;}

#input-wrapper { margin-top:10px; margin-bottom:2px; border-top:1px solid #ddd; }

#prompt { position: relative; top:-1.4em; font-family:monospace; font-weight: normal; color: #88723B; font-size: 1em; }

.window-list li { cursor:pointer; text-decoration: underline; }

.title-1 { font-weight: bold; font-size: 1.1.em; }
